On Decomposing Net Final Values: Eva, Sva and Shadow Project

Decomposing Conformance Checking on Petri net With Data

Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check ...

A+D-Net: Shadow Detection with Adversarial Shadow Attenuation

Single image shadow detection is a very challenging problem because of the limited amount of information available in one image, as well as the scarcity of annotated training data. In this work, we propose a novel adversarial training based framework that yields a high performance shadow detection network (D-Net). D-Net is trained together with an Attenuator network (A-Net) that generates adver...

Final Report on ETRI Project

Project Scheduling with Simultaneous Optimization, Time, Net Present Value, and Project Flexibility for Multimode Activities with Constrained Renewable Resources

Project success is assessed based on various criteria, every one of which enjoys a different level of importance for the beneficiaries and decision makers. Time and cost are the most important objectives and criteria for the project success. On the other hand, reducing the risk of finishing activities until the predetermined deadlines should be taken into account. Having formulated the problem ...

Project Final Report On Probe Interval Graphs

As a central problem in molecular biology, physical mapping is to find the relative positions of fragments of DNA along the genome using certain pairwise overlap information. Mathematical models are essential for designing efficient algorithms that construct, combine and refine maps. A widely used model is the interval graph. However, interval graph needs complete overlap information between DN...